381. Symbolic Algebraic Methods and Verification Methods
پدیدآورنده: edited by Götz Alefeld, Jiří Rohn, Siegfried Rump, Tetsuro Yamamoto.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Algebra -- Data processing.,Computer science.,Mathematics.
رده :
QA76
.
9
.
M35
E358
2001


382. System and architecture :
پدیدآورنده: Sunil Kumar Muttoo, editor.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Computer architecture, Congresses.,Computer networks, Congresses.,Computer science, Congresses.,Computer security, Congresses.,Information technology, Congresses.,Computer architecture.,Computer networks.,Computer science.,Computer security.,COMPUTERS-- Computer Literacy.,COMPUTERS-- Computer Science.,COMPUTERS-- Data Processing.,COMPUTERS-- Hardware-- General.,COMPUTERS-- Information Technology.,COMPUTERS-- Machine Theory.,COMPUTERS-- Reference.,Information technology.
رده :
QA76
.
9
.
A73


383. Systems Analysis By Graphs and Matroids, Structural solvability and Controllability
پدیدآورنده: Murota, Kayuo, 1955-
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه اصفهان (اصفهان)
موضوع: Graph theory ► Matrices ► System analysis
رده :
M977s

384. Systems Analysis by Graphs and Matroids
پدیدآورنده: by Kazuo Murota.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Combinatorics.,Mathematics.

385. Systems analysis by Graphs and matroids:structural solvability and con trollability
پدیدآورنده: Kazue Murotu
کتابخانه: کتابخانه مرکزی دانشگاه ولی عصر(عج) رفسنجان (کرمان)
موضوع: graph theory,Matrices,system analysis
رده :
QA
166
.
M87


386. Systems analysis by Graphs and matroids:structural solvability and con trollability
پدیدآورنده: Kazue Murotu
کتابخانه: کتابخانه مرکزی دانشگاه ولی عصر(عج) رفسنجان (کرمان)
موضوع: graph theory,Matrices,system analysis
رده :
QA
166
.
M87


387. Systems analysis by graphs and matroids
پدیدآورنده: / Kazuo Murota
کتابخانه: كتابخانه پردیس علوم (دانشگاه تهران) (تهران)
موضوع: System analysis,Graph theory,Matrices
رده :
QA
402
.
M87
1987


388. Systems analysis by graphs and matroids: structural solvability and controllability
پدیدآورنده: Murota, Kazuo
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع: ، System analysis,Graph theory,، Matrices
رده :
QA
402
.
M87
1987


389. Systems analysis by graphs and matroids : structural solvability and controllability
پدیدآورنده: Murota, Kazuo
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: ، System analysis,، Graph theory,، Matrices
رده :
QA
402
.
M87
1987


390. Systems analysis by graphs and matroids: : structural solvability and controllability
پدیدآورنده: Murota, Kazuo, 5591-
کتابخانه: كتابخانه پژوهشگاه نیرو (تهران)
موضوع: ، System analysis,، Graph theory,، Matrices
رده :
QA
402
.
M87
1987


391. Systems analysis by graphs and matroids : structural solvability and controllability
پدیدآورنده: Kazuo Murota
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: ، Graph theory,، Matrices,، System analysis
رده :
QA
166
.
M87
1987


392. Systems analysis by graphs and matroids : structural solvability and controllability
پدیدآورنده: / Kazuo Murota
کتابخانه: كتابخانه مركزی دانشگاه بين المللی امام خمينی (ره) قزوين (قزوین)
موضوع: System analysis,Graph theory,Matrices
رده :
QA402
.
M87
1987


393. Systems analysis by graphs and matroids : structural solvability and controllability
پدیدآورنده: Murota, Kazuo
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع: ، System analysis,، Graph theory,، Matrices
رده :
QA
402
.
M87
1987


394. Systems analysis by graphs and matroids. structural solvability and controllability
پدیدآورنده: / Kazuo Murota
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه کردستان (کردستان)
موضوع: System analysis,Graph theory,Matrices
رده :
QA402
.
M87


395. Systems biology :
پدیدآورنده: Aleš Prokop, Béla Csukaś, editors
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Systems biology
رده :
QH324
.
2


396. Ten applications of graph theory
پدیدآورنده: Hansjoachim Walther.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Computer Science.,Discrete Mathematics in Computer Science.,Graph theory.
رده :
QA166
.
H367
9999


397. Text, speech, and dialogue :
پدیدآورنده: Petr Sojka, Aleš Horák, Ivan Kopeček, Karel Pala (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Natural language processing (Computer science), Congresses.,Speech processing systems, Congresses.,Text processing (Computer science), Congresses.,Artificial Intelligence.,Artificial intelligence.,Computers-- Intelligence (AI) & Semantics.,Natural language processing (Computer science),Speech processing systems.,Text processing (Computer science)
رده :
QA76
.
9
.
N38


398. The Quadratic Assignment Problem
پدیدآورنده: by Eranda Çela.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Algorithms.,Combinatorics.,Computational complexity.,Information theory.,Mathematical optimization.,Mathematics.

399. The beauty of mathematics in computer science /
پدیدآورنده: Jun Wu ; translated from the Chinese edition by Rachel Wu and Yuxi Candice Wang.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Computer science-- Mathematics.,Machine learning.,Computer science-- Mathematics.,Informatik,Machine learning.,Mathematik
رده :
QA76
.
9
.
M35
W84
2019

